$\forall$$a$:$\mathbb{N}$. ($a$ {-}{-} 0) = $a$ $\in$ $\mathbb{Z}$